Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·6h
🧩Constraint Solvers
Understanding the KV Cache (feat. Self-Attention)
dev.to·3h·
Discuss: DEV
🔄Subinterpreters
Property-based testing of batch-invariant operations
mmaaz.ca·11h·
Discuss: Hacker News
🎲Property Testing
Recurse Checkins
404wolf.com·9h
🔄Bootstrapping
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·6h
📱Bytecode Design
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🪜Recursive Descent
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·4h
🌳Tree Shaking
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·16h
🧮Combinator Calculus
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·6h
📋Souffle Datalog
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·7h
🔒Rust Borrowing
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·4h·
Discuss: Hacker News
⚡Cache Optimization
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·17h·
Discuss: r/programming
🧠Memory Models
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·15h·
Discuss: Hacker News
🔢Algebraic Datatypes
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·6h·
Discuss: DEV
🌳Pattern Match Compilation
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·1d·
Discuss: Hacker News
🧩Constraint Solvers
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
News for September 2025
ptreview.sublinear.info·2d
🎲Property Testing
LLMs are badly misaligned
lesswrong.com·20h
✅Type Checking
How Much Should You Tell Your AI Agent?
raymondyxu.com·16h·
Discuss: Hacker News
💬Interactive REPLs